Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
381	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 On the Design and Performance of Reliable Geometric Predicates using Error-free Transformations and Exact Sign of Sum Algorithms∗ Marc M¨orig† Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:27:37 Applied mathematics Kahan summation algorithm Floating point NaN Delaunay triangulation IEEE 754-2008 Rounding Truncation error CGAL Computer arithmetic Mathematics Computing
382	Constraint propagation on quadratic constraints Ferenc Domes, Arnold Neumaier Faculty of Mathematics, University of Vienna Nordbergstrasse 15, A-1090 Vienna, Austria March 19, 2008 Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2009-01-15 06:59:38 Mathematics Local consistency Constraint satisfaction Constraint optimization Quadratic programming Mathematical optimization Quadratic equation Interval arithmetic Constraint programming Software engineering Computer programming
383	Annotation Generation Frama-C’s annotation generator plug-inCarbon version Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:50 Data types Computer arithmetic C programming language Primitive types Procedural programming languages Frama-C Integer overflow C Undefined behavior Computing Software engineering Computer programming
384	Computer-assisted proofs Arnold Neumaier Fakult¨at f¨ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria http://www.mat.univie.ac.at/∼neum/ Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-12-12 05:03:04 Mathematical logic Mathematical proofs Proof theory Mathematical optimization Interval arithmetic Computer-assisted proof Linear programming Logarithm Maple Mathematics Operations research Automated theorem proving
385	TRMM データ利用講習会 APPENDIX PARAMETER DICIONARY Ver 2.0 Add to Reading List Source URL: www.eorc.jaxa.jp Language: English - Date: 2013-04-11 03:00:19 Computer arithmetic Integer Pointer Computer programming C programming language Data types Primitive types Computing
386	T10revision 9 Date: October 22, 2003 To: T10 Committee (SCSI) From: George Penokie (IBM/Tivoli) Subject: End-to-End Data Protection Add to Reading List Source URL: www.t10.org Language: English - Date: 2003-10-22 02:00:00 Binary arithmetic Cyclic redundancy check Disk formatting Logical block addressing Transmission Control Protocol Key Code Qualifier SCSI Request Sense Command Computing SCSI Computer hardware
387	Microsoft Word - B1MNUM.DOC Add to Reading List Source URL: www.boic.com Language: English - Date: 2012-03-11 09:48:20 Numbers Arithmetic Primitive types Numerical analysis Floating point Binary-coded decimal Decimal floating point Rounding Fixed-point arithmetic Computer arithmetic Mathematics Data types
388	PDF Document Add to Reading List Source URL: cdn.sparkfun.com Language: English - Date: 2014-08-19 11:48:23 Computer hardware Binary arithmetic Boolean algebra Procedural programming languages Arduino Internet of Things Bitwise operation I²C C Computing Electronics Microcontrollers
389	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-11 13:47:57 Procedural programming languages Computer arithmetic Functional languages Lisp programming language Scheme programming language Scheme Lisp Hygienic macro Programming language Computing Software engineering Computer programming
390	PDF Document Add to Reading List Source URL: www.iis.ee.ethz.ch Language: English - Date: 2006-03-07 18:40:56 Numbers Adder Carry-save adder Carry-lookahead adder Carry-select adder Floating point Wallace tree Arithmetic logic unit IEEE 754-2008 Computer arithmetic Arithmetic Computer architecture

UPDATE